Feedback-Free Circuits in the Algebra of Transients Mihaela Gheorghiu and Janusz Brzozowski School of Computer Science, University of Waterloo, Waterloo, ON, Canada N2L 3G1 {mgheorgh,brzozo}@uwaterloo.ca

Source URL: maveric.uwaterloo.ca

Constraint-Based Allocation of Cloud Resources to Maximize Mission Effectiveness Mark Boddy∗ Adventium Labs 111 Third Avenue South, Suite 100 Minneapolis, MNUSA

Source URL: www.adventiumlabs.com

• Mathematical optimization
• Economy
• Business
• Operations research
• Computer algebra systems
• Mathematical modeling
• Mathematics
• Information technology management
• Constraint satisfaction
• AMPL
• Linear programming
• Constraint

Feedback-Free Circuits in the Algebra of Transients Mihaela Gheorghiu and Janusz Brzozowski Department of Computer Science, University of Waterloo, Waterloo, ON, Canada N2L 3G1 mgheorgh,brzozo @uwaterloo.ca

Source URL: maveric.uwaterloo.ca

join today! SIGSAM & ACM www.sigsam.org www.acm.org

Source URL: www.sigsam.org

• Association for Computing Machinery
• Computer algebra systems
• Computer algebra
• Computer science
• SIGSAM
• International Symposium on Symbolic and Algebraic Computation
• Symbolic computation
• Communications of the ACM
• ALTRAN
• Symbolic Manipulation Program

An Extremal Characterization of Projective Planes Stefaan De Winter∗ Department of Mathematics and Computer Algebra Ghent University, 9000 Gent, Belgium

Source URL: www.math.udel.edu

UNIVERSITY OF SUSSEX COMPUTER SCIENCE A typed, prioritized process algebra Alan Jeffrey

Source URL: ect.bell-labs.com

• Bisimulation
• Logic in computer science
• Theoretical computer science
• Substitution
• Generalised Whitehead product

Initial Algebra Semantics for Cyclic Sharing Structures Makoto Hamana Department of Computer Science, Gunma University, Japan

Source URL: www.cs.gunma-u.ac.jp

JuMP: A MODELING LANGUAGE FOR MATHEMATICAL OPTIMIZATION IAIN DUNNING, JOEY HUCHETTE, MILES LUBIN ∗

Source URL: www.optimization-online.org

• Mathematical optimization
• Operations research
• Numerical software
• Computer algebra systems
• AMPL
• Algebraic modeling language
• Linear programming
• Gurobi
• Automatic differentiation
• Nl
• Pyomo
• SCIP

Universal Algebra for Termination of Higher-Order Rewriting Makoto Hamana Department of Computer Science, Gunma University, Japan

Source URL: www.cs.gunma-u.ac.jp

An Empirical Study on the Fault-Proneness of Clone Migration in Clone Genealogies Shuai Xie1 , Foutse Khomh2 , Ying Zou1 , Iman Keivanloo1 1 Department of Electrical and Computer Engineering, Queen’s University, Canad

Source URL: swat.polymtl.ca

• Software engineering
• Computing
• Universal algebra
• Clone
• Duplicate code
• Video game clone
• Cloning
• Gaming